21. Scientific computing with automatic result verification
پدیدآورنده : edited by E. Adams, U. Kulisch
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing,، Computer science -- Mathematics
رده :
QA
76
.
S36
1993